Hansen, Rene Rydhof: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[Lecture Notes in Computer Science] Secure IT Systems Volume 11875 (24th Nordic Conference, NordSec 2019, Aalborg, Denmark, November 18–20, 2019, Proceedings) ||

Askarov, Aslan, Hansen, René Rydhof, Rafnsson, Willard

Year:

2019

Language:

english

File:

PDF, 14.70 MB

english, 2019

2

[ACM Press the 3rd workshop - San Jose, California (2006.10.22-2006.10.22)] Proceedings of the 3rd workshop on Programming languages and operating systems linguistic support for modern operating systems - PLOS '06 - Semantic patches for documenting and automating collateral evolutions in Linux device drivers

Padioleau, Yoann, Hansen, René Rydhof, Lawall, Julia L., Muller, Gilles

Year:

2006

Language:

english

File:

PDF, 205 KB

english, 2006

3

From Flow Logic to static type systems for coordination languages

Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese

Journal:

Science of Computer Programming

Year:

2010

Language:

english

File:

PDF, 1.11 MB

english, 2010

4

Documenting and automating collateral evolutions in linux device drivers

Padioleau, Yoann, Lawall, Julia, Hansen, René Rydhof, Muller, Gilles

Journal:

ACM SIGOPS Operating Systems Review

Year:

2008

Language:

english

File:

PDF, 370 KB

english, 2008

5

[IEEE 2019 Network Traffic Measurement and Analysis Conference (TMA) - Paris, France (2019.6.19-2019.6.21)] 2019 Network Traffic Measurement and Analysis Conference (TMA) - Kraaler: A User-Perspective Web Crawler

Panum, Thomas Kobber, Hansen, Rene Rydhof, Pedersen, Jens Myrup

Year:

2019

Language:

english

File:

PDF, 34 KB

english, 2019

6

Semantic patches considered helpful

Muller, Gilles, Padioleau, Yoann, Lawall, Julia L., Hansen, René Rydhof

Journal:

ACM SIGOPS Operating Systems Review

Year:

2006

Language:

english

File:

PDF, 96 KB

english, 2006

7

Safety-critical Java for embedded systems

Schoeberl, Martin, Dalsgaard, Andreas Engelbredt, Hansen, René Rydhof, Korsholm, Stephan E., Ravn, Anders P., Rios Rivas, Juan Ricardo, Strøm, Tórur Biskopstø, Søndergaard, Hans, Wellings, Andy, Zhao,

Journal:

Concurrency and Computation: Practice and Experience

Year:

2016

Language:

english

File:

PDF, 1.10 MB

english, 2016

8

WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process

Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller

Journal:

Software: Practice and Experience

Year:

2012

Language:

english

File:

PDF, 3.54 MB

english, 2012

9

Hybrid logical analyses of the ambient calculus

Thomas Bolander, René Rydhof Hansen

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 821 KB

english, 2010

10

[IEEE 2008 Third International Conference on Availability, Reliability and Security - (2008.03.4-2008.03.7)] 2008 Third International Conference on Availability, Reliability and Security - Static Validation of Licence Conformance Policies

Hansen, Rene Rydhof, Nielson, Flemming, Nielson, Hanne Riis, Probst, Christian W.

Year:

2008

Language:

english

File:

PDF, 424 KB

english, 2008

11

An extensible analysable system model

Christian W. Probst, René Rydhof Hansen

Journal:

Information Security Technical Report

Year:

2008

Language:

english

File:

PDF, 1.06 MB

english, 2008

12

Type Inference for Correspondence Types

Andrew D. Gordon, Hans Hüttel, René Rydhof Hansen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 326 KB

english, 2009

13

Coccinelle: Tool support for automated CERT C Secure Coding Standard certification

Olesen, Mads Chr., Hansen, René Rydhof, Lawall, Julia L., Palix, Nicolas

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 414 KB

english, 2014

14

[IEEE Networks (DSN) - Lisbon, Portugal (2009.06.29-2009.07.2)] 2009 IEEE/IFIP International Conference on Dependable Systems & Networks - WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code

Lawall, Julia L., Brunel, Julien, Palix, Nicolas, Hansen, Rene Rydhof, Stuart, Henrik, Muller, Gilles

Year:

2009

Language:

english

File:

PDF, 286 KB

english, 2009

15

[ACM Press the 12th International Workshop - Niagara Falls, NY, USA (2014.10.13-2014.10.14)] Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES '14 - Certifiable Java for Embedded Systems

Schoeberl, Martin, Dalsgaard, Andreas Engelbredt, Hansen, René Rydhof, Korsholm, Stephan E., Ravn, Anders P., Rivas, Juan Ricardo Rios, Strøm, Tórur Biskopstø, Søndergaard, Hans

Year:

2014

Language:

english

File:

PDF, 380 KB

english, 2014

16

[Lecture Notes in Computer Science] Semantics, Logics, and Calculi Volume 9560 || Game Theory and Industrial Control Systems

Probst, Christian W., Hankin, Chris, Hansen, René Rydhof

Year:

2016

Language:

english

File:

PDF, 673 KB

english, 2016

17

Validating firewalls using flow logics

Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 282 KB

english, 2002

18

[Lecture Notes in Computer Science] Semantics, Logics, and Calculi Volume 9560 || Effect Systems Revisited—Control-Flow Algebra and Semantics

Probst, Christian W., Hankin, Chris, Hansen, René Rydhof

Year:

2016

Language:

english

File:

PDF, 573 KB

english, 2016

19

[ACM Press the 4th workshop - Stevenson, Washington (2007.10.18-2007.10.18)] Proceedings of the 4th workshop on Programming languages and operating systems - PLOS '07 - Towards easing the diagnosis of bugs in OS code

Stuart, Henrik, Hansen, René Rydhof, Lawall, Julia L., Andersen, Jesper, Padioleau, Yoann, Muller, Gilles

Year:

2007

Language:

english

File:

PDF, 410 KB

english, 2007

20

[IEEE 2018 Eleventh International Conference on Mobile Computing and Ubiquitous Network (ICMU) - Auckland, New Zealand (2018.10.5-2018.10.8)] 2018 Eleventh International Conference on Mobile Computing and Ubiquitous Network (ICMU) - Modelling and Analysing Overlay Networks by Ambients with Wormholes

Hansen, Rene Rydhof, Probst, Christian W.

Year:

2018

File:

PDF, 236 KB

2018

21

[IEEE 2019 IEEE 19th International Conference on Advanced Learning Technologies (ICALT) - Maceió, Brazil (2019.7.15-2019.7.18)] 2019 IEEE 19th International Conference on Advanced Learning Technologies (ICALT) - Haaukins: A Highly Accessible and Automated Virtualization Platform for Security Education

Panum, Thomas Kobber, Hageman, Kaspar, Pedersen, Jens Myrup, Hansen, Rene Rydhof

Year:

2019

File:

PDF, 93 KB

2019

22

[ACM Press the 36th annual ACM SIGPLAN-SIGACT symposium - Savannah, GA, USA (2009.01.21-2009.01.23)] Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09 - A foundation for flow-based program matching

Brunel, Julien, Doligez, Damien, Hansen, René Rydhof, Lawall, Julia L., Muller, Gilles

Year:

2008

Language:

english

File:

PDF, 676 KB

english, 2008

23

[Lecture Notes in Computer Science] Semantics, Logics, and Calculi Volume 9560 || Modal Intersection Types, Two-Level Languages, and Staged Synthesis

Probst, Christian W., Hankin, Chris, Hansen, René Rydhof

Year:

2016

Language:

english

File:

PDF, 1.02 MB

english, 2016

24

[IEEE 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) - Kosice, Slovakia (2016.4.20-2016.4.22)] 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) - Energy-aware scheduling of FIR filter structures using a timed automata model

Wognsen, Erik Ramsgaard, Hansen, Rene Rydhof, Larsen, Kim Guldstrand, Koch, Peter

Year:

2016

Language:

english

File:

PDF, 1.30 MB

english, 2016

25

[Lecture Notes in Computer Science] Semantics, Logics, and Calculi Volume 9560 || Probabilistic Abstract Interpretation: From Trace Semantics to DTMC’s and Linear Regression

Probst, Christian W., Hankin, Chris, Hansen, René Rydhof

Year:

2016

Language:

english

File:

PDF, 492 KB

english, 2016

26

[IEEE 2009 Fourth International IEEE Workshop on Systematic Approaches to Digital Forensic Engineering (SADFE) - Berkeley, California, USA (2009.05.21-2009.05.21)] 2009 Fourth International IEEE Workshop on Systematic Approaches to Digital Forensic Engineering - Analysing Access Control Specifications

Probst, Christian W., Hansen, René Rydhof

Year:

2009

Language:

english

File:

PDF, 283 KB

english, 2009

27

[ACM Press the 7th ACM CCS International Workshop - Denver, Colorado, USA (2015.10.16-2015.10.16)] Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats - MIST '15 - Modelling Social-Technical Attacks with Timed Automata

David, Nicolas, David, Alexandre, Hansen, Rene Rydhof, Larsen, Kim G., Legay, Axel, Olesen, Mads Chr., Probst, Christian W.

Year:

2015

Language:

english

File:

PDF, 701 KB

english, 2015

28

[IEEE 2015 IEEE International Conference on Information Reuse and Integration (IRI) - San Francisco, CA, USA (2015.8.13-2015.8.15)] 2015 IEEE International Conference on Information Reuse and Integration - Formal Methods for Modelling and Analysis of Single-Event Upsets

Hansen, Rene Rydhof, Larsen, Kim Guldstrand, Olesen, Mads Chr., Wognsen, Erik Ramsgaard

Year:

2015

Language:

english

File:

PDF, 907 KB

english, 2015

29

Formalisation and analysis of Dalvik bytecode

Wognsen, Erik Ramsgaard, Karlsen, Henrik Søndberg, Olesen, Mads Chr., Hansen, René Rydhof

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.31 MB

english, 2014

30

[ACM Press the 11th International Workshop - Karlsruhe, Germany (2013.10.09-2013.10.10)] Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES '13 - Worst-case memory consumption analysis for SCJ

Andersen, Jeppe L., Todberg, Mikkel, Dalsgaard, Andreas E., Hansen, René Rydhof

Year:

2013

Language:

english

File:

PDF, 565 KB

english, 2013

31

Formal modelling and analysis of Bitflips in ARM assembly code

Hansen, René Rydhof, Larsen, Kim Guldstrand, Olesen, Mads Chr., Wognsen, Erik Ramsgaard

Journal:

Information Systems Frontiers

Year:

2016

Language:

english

File:

PDF, 2.03 MB

english, 2016

32

[Lecture Notes in Computer Science] Semantics, Logics, and Calculi Volume 9560 || Static Timing Analysis – What is Special?

Probst, Christian W., Hankin, Chris, Hansen, René Rydhof

Year:

2016

Language:

english

File:

PDF, 280 KB

english, 2016

33

[Lecture Notes in Computer Science] Semantics, Logics, and Calculi Volume 9560 ||

Probst, Christian W., Hankin, Chris, Hansen, René Rydhof

Year:

2016

Language:

english

File:

PDF, 10.07 MB

english, 2016

34

Abstract interpretation of mobile ambients

Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson

Journal:

Science of Computer Programming

Year:

2003

Language:

english

File:

PDF, 362 KB

english, 2003

35

[IEEE 2010 European Dependable Computing Conference - Valencia, Spain (2010.04.28-2010.04.30)] 2010 European Dependable Computing Conference - Finding Error Handling Bugs in OpenSSL Using Coccinelle

Lawall, Julia, Laurie, Ben, Hansen, René Rydhof, Palix, Nicolas, Muller, Gilles

Year:

2010

Language:

english

File:

PDF, 263 KB

english, 2010

36

[ACM Press the 10th International Workshop - Copenhagen, Denmark (2012.10.24-2012.10.26)] Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES '12 - Private memory allocation analysis for safety-critical Java

Dalsgaard, Andreas E., Hansen, René Rydhof, Schoeberl, Martin

Year:

2012

Language:

english

File:

PDF, 763 KB

english, 2012

37

[Lecture Notes in Computer Science] Secure IT Systems Volume 11875 (24th Nordic Conference, NordSec 2019, Aalborg, Denmark, November 18–20, 2019, Proceedings) ||

Askarov, Aslan, Hansen, René Rydhof, Rafnsson, Willard

Year:

2019

File:

PDF, 14.70 MB

2019

38

[IEEE 2015 10th IEEE International Symposium on Industrial Embedded Systems (SIES) - Siegen, Germany (2015.6.8-2015.6.10)] 10th IEEE International Symposium on Industrial Embedded Systems (SIES) - Model checking of finite-state machine-based scenario-aware dataflow using timed automata

Skelin, Mladen, Wognsen, Erik Ramsgaard, Olesen, Mads Chr., Hansen, Rene Rydhof, Larsen, Kim Guldstrand

Year:

2015

Language:

english

File:

PDF, 449 KB

english, 2015

39

A foundation for flow-based program matching

Brunel, Julien, Doligez, Damien, Hansen, René Rydhof, Lawall, Julia L., Muller, Gilles

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 676 KB

english, 2009

40

Towards Verification of Well-Formed Transactions in Java Card Bytecode

René Rydhof Hansen, Igor A. Siveroni

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 337 KB

english, 2005

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски